proof of euler's identity